procedure Library (X : Integer);
